Splittability and Low Separation Axioms
نویسنده
چکیده
The power and usefulness of cleavability (also known as splittability) have been well established within the framework of topology by A.V. Arhangel’skii and his associates. The concept was transferred to partially ordered sets by D.J. Marron and T.B.M. McMaster. The connections between topology and order are here exploited as we examine the properties enjoyed by a topological space that is splittable over a collection of topological spaces each enjoying a low separation axiom.
منابع مشابه
Further study on $L$-fuzzy Q-convergence structures
In this paper, we discuss the equivalent conditions of pretopological and topological $L$-fuzzy Q-convergence structures and define $T_{0},~T_{1},~T_{2}$-separation axioms in $L$-fuzzy Q-convergence space. {Furthermore, $L$-ordered Q-convergence structure is introduced and its relation with $L$-fuzzy Q-convergence structure is studied in a categorical sense}.
متن کاملNETS AND SEPARATED S-POSETS
Nets, useful topological tools, used to generalize certainconcepts that may only be general enough in the context of metricspaces. In this work we introduce this concept in an $S$-poset, aposet with an action of a posemigroup $S$ on it whichis a very useful structure in computer sciences and interestingfor mathematicians, and give the the concept of $S$-net. Using $S$-nets and itsconvergency we...
متن کاملModular Labelled Sequent Calculi for Abstract Separation Logics
separation logics are a family of extensions of Hoare logic for reasoning about programs that manipulate resources such as memory locations. These logics are “abstract” because they are independent of any particular concrete resource model. Their assertion languages, called propositional abstract separation logics (PASLs), extend the logic of (Boolean) Bunched Implications (BBI) in various ways...
متن کامل